Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion...
-
Upload
solomon-haynes -
Category
Documents
-
view
217 -
download
3
Transcript of Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion...
![Page 1: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/1.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20041
A High-level Language for Military Fusion Problems
Richard Scherl
Computer Science Department
Monmouth University
![Page 2: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/2.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20042
Cognitive Robotics/GoLog
Integrating reasoning, perception and action within a uniform theoretical and implementation framework.
Logic-based. High-level language.
![Page 3: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/3.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20043
The Situation Calculus
McCarthy and Hayes 1969. A predicate calculus formalization of states,
actions, and effects. Reiter 1991,2001.
![Page 4: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/4.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20044
GOLOG
GOLOG -- AlGol in logic. Sequences. Nondeterministic choice of actions. Nondeterministic choice of arguments. Conditions, While loops. Recursion.
![Page 5: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/5.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20045
Plans Vs Computer Programs
There is a long tradition of viewing plans as computer programs. (Green, manna and Waldinger).
There are many problems with this view of plans.
An agent may not know whether a test is true. Agents may not know enough to execute the
action.
![Page 6: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/6.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20046
Incomplete Knowledge
Generally, agents do not have complete knowledge of the world.
Formalism must distinguish between what is true in the world and what the agent knows.
![Page 7: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/7.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20047
Incomplete Knowledge (Cont)
Agents must reason about: Actions that produce knowledge --- perception,
reading, comunicative acts. The knowledge prerequisites of actions.
![Page 8: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/8.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20048
References
Levesque, Reiter, Lesperance,Lin, Scherl. GOLOG. JLP, 1997.
Reiter. Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT press, 2001.
Scherl and Levesque. Knowledge, action, and the frame problem. AIJ, 2003.
![Page 9: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/9.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 20049
Goal
Can a similar sort of language be used for the specification of high-level and flexible plans useful in domains relevant to the military and also homeland security?
![Page 10: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/10.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200410
Example Scenarios
Silent prairie: agricultural bio-terrorism exercise developed by the national strategic gaming center at the national defense university
Battlespace challenge problem: road to war developed by signal solutions for ARL
![Page 11: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/11.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200411
Silent Prairie
Foot and mouth disease suspected in north Carolina and Kansas
Bio-terrorism considered a possibility
![Page 12: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/12.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200412
Steps
FBI notified – but the 82nd airborne recently returned to north Carolina from Iraq.
Need to notify state officials and farm companies. All leaders of states to which N. Carolina cattle are shipped must be notified.
Send sample to plum island facility for analysis.
![Page 13: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/13.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200413
Steps (Cont)
Start initial containment strategy (quarantine zones).
Notify governor and other state officials. Notify USDA, FDA. Enact regional containment strategy. Notify DHS and DOD. Check to see if there was “chatter” about FMD.
![Page 14: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/14.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200414
Sample Plan
While ¬knows(x State(x)Considered(x))
( X).state(x)?;
If ¬Kwhether(Shipto(f,a,x)) then
sense_ship(f,a,x) endIf;
If knows(Shipto(f,a,x) then
notify(f,a,x) endIf;
assert(Considered(x));
endWhile;
![Page 15: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/15.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200415
Battlespace Challenge Problem
Signal Solutions 2015 North Korea Kim Jung-Il dies Civil War
![Page 16: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/16.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200416
Forces Involved
U.S. ROK. DPRK Hardliners. DPRK Reformers.
![Page 17: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/17.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200417
Determining Friend from Foe
Sensors(ELINT, SIGINT) HUMINT COP needs to indicate which forces are friends
and which are foes (DPRK Hardliners) based upon both intelligence information and inferences.
![Page 18: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/18.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200418
Rules in Knowledge-Base
x ,y hardliner(x) engages(x,y)
¬ hardliner(y)
y,z
x supplies(x,y) hardliner(y)
supplies(x,z)
hardliner(z)
![Page 19: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/19.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200419
Identify Threats to Inchon Airport
Sensors and human intelligence are utilized to identify threats.
Which U.S. Units can deal with the threats? How long would it take them to arrive at location of threat given current conditions?
![Page 20: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/20.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200420
![Page 21: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/21.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200421
Implementation
GoLog interpreter written in Prolog Integration into Jade agent platform Http://jade.tilab.com
![Page 22: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/22.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200422
Further Topics
Concurrency (ConGolog, IndiGolog) Exogenous actions Probabilistic action occurrences and effects Ability Time Integrating semantic web ontology languages
![Page 23: Knowledge Fusion Research WorkshopOctober 20 - 22 2004 1 A High-level Language for Military Fusion Problems Richard Scherl Computer Science Department.](https://reader030.fdocuments.us/reader030/viewer/2022032703/56649cf85503460f949c8436/html5/thumbnails/23.jpg)
Knowledge Fusion Research Workshop
October 20 - 22 200423
Theory of Actions (Cont)
Real time, resource bounded behavior Belief revision Execution monitoring and failure recovery Automated plan construction