MDA - internet/semantic-web/logic-and-inferencing

MDA < Home

Map Development Area (MDA)

Location: _/_ internet _/_ semantic-web _/_ logic-and-inferencing

Index

Browse

Edit

Visualize

Statistics

Download

Help

logic-and-inferencing

is challenge for:

- Semantic Web [ mission ]

- logic and inferencing
- automated understanding of external data

Types:

is a research-area

comment: this is not strictly AI -- not proof generation, only validation
example: X passed exam => X is a student : logic -- X knows about the subject : proof -- employer sees this via several sources: trust
comment: restrictions on expressitivity -- tradeoff with computational complexity