Project-Options 1.Fridge 2.Workbench with Toolbox 3.Playschool.

Slides:



Advertisements
Similar presentations
Knowledge Representation using First-Order Logic
Advertisements

Algebra Tiles!.
Furnishing 1-Point Perspective Drawings
1 A Description Logic with Concrete Domains CS848 presentation Presenter: Yongjuan Zou.
Ontologies - Design principles Cartic Ramakrishnan LSDIS Lab University of Georgia.
CLOZE PROCEDURE Oral Communication.
Domain Relational Calculus and Query-by-Example CS157a John Eagle.
Flakey - Example  Flakey as Communicating Agent  Case Frame Representation  Concrete and Generic Actions  Effects of Actions  Inference / Reasoning.
Natural Language Processing The Toolbox Project  Corpora  Vocabulary  Commands.
Case-Based Reasoning, 1993, Ch11 Kolodner Adaptation method and Strategies Teacher : Dr. C.S. Ho Student : L.W. Pan No. : M Date : 1/7/2000.
Estimation from Samples Find a likely range of values for a population parameter (e.g. average, %) Find a likely range of values for a population parameter.
Artificial Intelligence Flakey A Communicating Agent.
P2P Information Interoperability & Decision Support Domain Application SEMANTIC INTEROP QUERY PROCESSING GIS INTEROP P2P ● Heterogeneous semantic ● Semantic.
Natural Language Processing Semantics 0 Flakey.
USCISIUSCISI Loom: Basic Concepts Thomas A. Russ USC Information Sciences Institute.
Logo Lesson 5 TBE Fall 2004 Farah Fisher. Prerequisites  Given a shape, use basic Logo commands and/or a procedure to draw the shape, with and.
Kmi.open.ac.uk Semantic Execution Environments Service Engineering and Execution Barry Norton and Mick Kerrigan.
Artificial Intelligence Research Centre Program Systems Institute Russian Academy of Science Pereslavl-Zalessky Russia.
Automated Explanation of Gene-Gene Relationships Wacek Kuśnierczyk.
Geometric Conceptual Spaces Ben Adams GEOG 288MR Spring 2008.
SITools Enhanced Use of Laboratory Services and Data Romain Conseil
Discussions for oneM2M Semantics Standardization Group Name: WG5 Source: InterDigital Communications Meeting Date: Agenda Item: WI-0005 ASN/MN-CSE.
Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.
Intelligent Systems Lecture 20 Examples of NLP in searching systems.
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
Organizing Your Information
Using the TBox to Optimise SPARQL Queries Birte Glimm Yevgeny Kazakov Ilianna Kollia and Giorgos Stamou CS 848 Paper Critique Vishnu Prathish.
Metadata Models in Survey Computing Some Results of MetaNet – WG 2 METIS 2004, Geneva W. Grossmann University of Vienna.
Data/term-model. 2 Copyright e-Government Program (Yesser) Data/term-model - Summary Slide  Definition of a data/term model  Term Analysis and Modeling.
LDK R Logics for Data and Knowledge Representation ClassL (part 3): Reasoning with an ABox 1.
AGI Architectures & Control Mechanisms. Realworld environment Anatomy of an AGI system Intellifest 2012 Sensors Actuators Data Processes Control.
1-POINT PERSPECTIVE Learning how to draw a 3- dimensional street scene.
Advanced topics in software engineering (Semantic web)
Computing with Decimals. Adding and Subtracting Decimals.
LDK R Logics for Data and Knowledge Representation Description Logics (ALC)
Using Fuzzy DLs to Enhance Semantic Image Analysis S. Dasiopoulou, I. Kompatsiaris, M.G.Strintzis 3 rd International Conference on Semantic and Digital.
CS 682, AI:Case-Based Reasoning, Prof. Cindy Marling1 Chapter 11: Adaptation Methods and Strategies Adaptation is the process of modifying a close, but.
CSC 480 Software Engineering Design by Contract. Detail Design Road Map Begin with architectural models  Class model: domain classes  Overall state.
Simultaneously Learning and Filtering Juan F. Mancilla-Caceres CS498EA - Fall 2011 Some slides from Connecting Learning and Logic, Eyal Amir 2006.
Rob Gleasure IS3320 Developing and Using Management Information Systems Lecture 13: Flow-Charts 1 Rob Gleasure
Web Information Systems Modeling Luxembourg, June VisAVis: An Approach to an Intermediate Layer between Ontologies and Relational Database Contents.
OilEd An Introduction to OilEd Sean Bechhofer. Topics we will discuss Basic OilEd use –Defining Classes, Properties and Individuals in an Ontology –This.
National Council of Teachers of Mathematics Principles and Standards for grades pre-K-2.
Issues in Ontology-based Information integration By Zhan Cui, Dean Jones and Paul O’Brien.
Vocabulary Strategies Teaching Vocabulary Skills July 10, 2009.
Knowledge Representation. Keywordsquick way for agents to locate potentially useful information Thesaurimore structured approach than keywords, arranging.
 2003 CSLI Publications Ling 566 Oct 17, 2011 How the Grammar Works.
Semantic Interoperability in GIS N. L. Sarda Suman Somavarapu.
LDK R Logics for Data and Knowledge Representation Description Logics: family of languages.
Ontology Technology applied to Catalogues Paul Kopp.
Distributed Instance Retrieval over Heterogeneous Ontologies Andrei Tamilin (1,2) & Luciano Serafini (1) (1) ITC-IRST (2) DIT - University of Trento Trento,
Artificial Intelligence Knowledge Representation.
Representing and Reasoning with Heterogeneous, Modular and Distributed ontologies UniTN/IRST contribution to KnowledgeWeb.WP 2.1.
MENTAL MATH Front End Mental Math with Addition Strategy: Add the tens place first and then the ones place = = =
Associate Professor Dept. of Computer and Information Sciences NTNU
Logics for Data and Knowledge Representation
Investigating the Design Context.
eHS AI component roadmap: Step I: prototype with fuzzy matching
EA C461 – Artificial Intelligence Logical Agent
Logics for Data and Knowledge Representation
Updating TBoxes in DL-Lite
VIEWS OF A FIGURE You can see an object differently depending on your position.
Logics for Data and Knowledge Representation
Logics for Data and Knowledge Representation
Webropol – Getting started 2
Requirements Engineering Processes
Logics for Data and Knowledge Representation
Knowledge Representation I (Propositional Logic)
Logics for Data and Knowledge Representation
Activity #15 Families of Elements.
Presentation transcript:

Project-Options 1.Fridge 2.Workbench with Toolbox 3.Playschool

Fridge-Scenario  scenario is a 3-dimensional fridge  fridge contains shelves  shelves are 2-dim vertically arranged  each shelve is 2-dim horizontally  shelves have objects in 2-dim space  constraints on seeing objects (model "viewers perspective")  constraints on moving / getting / placing objects

Workbench-Scenario  scenario is a 2.5-dimensional workbench and a toolbox  items / objects in the scenario are tools  tools can be on workspace or in toolbox  tools on workspace can be under / on top of each other  tools in toolbox cannot be seen  inferences on where objects are (toolbox)  constraints on moving / getting / putting objects

Tools a_gift&ctgpage=category&cc=Hand+Tools&clist= &ret=Hand+Tools&start Num=0&rangeNum=10

More Tools

Playschool-Scenario  scenario is a 2-dimensional ground  items / objects in the scenario are toys  toys have various arrangements on ground  toys can be moved around, removed from, and added to the scene  all toys can be seen (unless they are not in the scene; no hidden objects)  model spatial relations between toys based on absolute position on ground

Project Parts Description of scenario –Hierarchy of concepts with inheritance –Features (relations or functions) for each concept, e.g. size, colour, other physical characteristics related to spatial domain –Spatial relations between objects –Corresponds to T-Box

Project Parts Reasoning in scenario –based on characteristics and relations –draw conclusions about objects and features –e.g. use transitivity of relations, like besides –e.g. model occlusion (i.e. if a large object is in front of a small object, the small object cannot be seen) –modeled in A-Box –use ask and tell / assert and retrieve to access and store/modify values

Input Sentence Modeling  Select sentence types.  For each sentence type (question, command,... ?) determine prototypical frame for representing the input.  Subclassification of these frames might be suitable (e.g. different question forms).  Define procedures to fill these frames with values from the actual input sentence.  Use terminology / ontology (semantic basis).

Queries  Define frame for each question type.  Fill frame for specific NL input (question) using terminology / ontology from T-Box (mapping to synonyms; semantic basis; T-Box concepts).  Formulate retrieval operations for different query frames (may involve reasoning!).  Evaluate:  retrieve values from A-Box according to query specification.  Formulate answer (use templates, if feasible, add number/person agreement for NP - VP).

Commands  Define frames for different command types.  Connect frames to action-descriptions.  Fill frame for specific NL input (command sentence) using terminology from T-Box and action-frames.  Evaluate instantiated action-frame (see next slide).  Formulate answer (Either confirm "DONE" or give reason why it didn't work.).

Acting  Define frame for each prototypical action, based on verb semantics.  Fill frame for specific NL input (command).  Include preconditions and effects in frame, or associate action description with respective formulae.  Evaluate:  check satisfaction of precondition in A-Box.  make assertion to A-Box according to effect description.