|
See KSCO program here. (The
KSCO conference runs concurrently with KIMAS. Registered attendees can
attend both conferences.)
KIMAS’07 Program
Monday, April 30, 2007
11:00 – 16:00 Registration
11:00 – 14:00 Tutorial I
Bio-Inspired and
Cognitive Algorithms for Recognition, Data Mining, Tracking,
Fusion, Prediction, and
Language Understanding
Leonid Perlovsky,
Harvard University and the Air Force Research Laboratory
See more Tutorial I
information here.
14:00 – 14:30 Coffee and Networking Break
(Tutorial attendees only)
14:30 – 17:30 Tutorial II
“Cognitive” memory and
its Applications
Bernard Widrow,
Stanford University
See more Tutorial II
information here.
18:00 – 22:00 Welcome Reception (All
Conference Attendees)
Tuesday, May 01, 2007
7:30 – 16:00 Registration
7:30 – 8:30 Speakers’ Breakfast
8:30 - 9:30
Distinguished Plenary Session
Welcome, Leonid
Perlovsky, Conference Chair
Distinguished Plenary Lecture:
Chair: Robert Kozma
Inferences and Assumptions about Complex Adaptive
Systems
David Fogel,Natural
Selection, Inc.
9:30 – 9:50 Coffee and Networking Break
9:50 – 11:50
Special Session: Dynamic Logic and Cognitive
Algorithms
Organizer and Chair: Ross Deming
|
1.
1115 Optimal Estimation of Parameters of Transient Mixture Processes
using Dynamic Logic Approach |
|
Robert Kozma, University of Memphis; Ross Deming, General Dynamics; and
Leonid Perlovsky, Harvard University and Air Force Research Laboratory |
|
2.
1131 Concurrent Tracking and Detection of Slowly Moving Targets under
Foliage using Dynamic Logic |
|
Ross
Deming, John Schindler, General Dynamics; and Leonid Perlovsky, Harvard
University and Air Force Research Laboratory |
|
3.
1116 Radar Imaging Through Walls Using Dynamic Logic-based SAR
|
|
Robert Kozma, University of Memphis; Robert Linnehan, Air Force Research
Laboratory; Leonid Perlovsky, Harvard University and AFRL; David Brady,
Northeastern University |
|
4.
1152 Intelligent Processing in Multi-Sensor Systems |
|
G.
Capraro, Capraro Technologies, Inc.; M. Wicks, AFRL |
|
5.
1149 Modeling Field Theory and Dynamic Logic |
|
Boris Kovalerchuk, Central Washington University; Leonid Perlovsky,
Harvard University and AFRL |
|
6.
1136 Practical Approach to Dynamic Knowledge Processing |
|
Vadim Stefanuk, Russian Academy of Science |
9:50 – 11:50
1. Distributed Agent Systems and Situation
Modeling
Chair: A. Smirnov
|
1.
1142 Realization of Persistency in a Multi-Agent Framework |
|
Shinichi MOTOMURA, Junya KISHIDA, Takao KAWAMURA, and Kazunori SUGAHARA,
Tottori University |
|
2.
1090 Situation Modeling in Decision Support Systems |
|
A. Smirnov, A. Kashevnik, T. Levashova, M. Pashkin, N. Shilov, and
St. Petersburg, Russian Academy of Sciences |
|
3.
1134 Approaches to Distributed Optimization: How Do We Make Agent
Searches Efficient? And an Efficient Algorithm for Distributed
Optimization |
|
Snehit Prabhu, IBM Software Group |
|
4.
1095 Experience Using High Level, Inter-Agent Coordination Primitives
for Building Survivable Distributed MAS |
|
John
Zinky, Sarah Siracuse, Ray Tomlinson, and Todd Wright, BBN Technologies |
|
5.
1124 Epistemic Belief Frames in Distributed Effects-based Reasoning |
|
Eric
R. Lindahl and Qiuming Zhu, 21st Century Systems, Inc |
|
6.
1138 Dynamic Algorithms for Cooperative Spatially Decomposed Searching
by Heterogeneous Unmanned Systems |
|
Michael Gosnell and Stephen O’Hara, 21st Century Systems Inc |
11:50 – 13:20
Lunch (On Your Own)
13:20 – 14:20
Distinguished Plenary Session
Chair: Vladimir G. Red’ko
Distinguished
Plenary Lecture:
An Emerging Unified
Theory of Neocortex: From Vision to Cognition
Stephen Grossberg,
Boston University
14:20 – 15:00
Coffee and Networking Break
15:00 – 17:00
Special Session: SOA: Model Driven Service
Oriented Architecture
Organizer and Chair: Lee Krause
|
1.
1157 The SOA Platform |
|
Dave Lamp, Colonel, USAF, Affiliation: Project Lead, Advanced Technology
Integration, Joint Futures Lab, Suffolk, VA Title of talk: Towards a
Joint Semantic Web |
|
2.
1156 The Convergence of Grid and SOA |
|
George Nealon, Data Synapse |
|
3.
1158 Adaptive and Intelligent SOA using Dynamic Logic |
|
Leonid I. Perlovsky, Harvard University and Air Force Research
Laboratory |
|
4.
1155 The Role of Intelligent Models in the Implementation of Service
Oriented Architectures |
|
Lee
S. Krause, Lynn A Lehman, Bruce R. McQueary, Anthony M. Stirtzinger,
Securboration, Inc. |
|
5.
1153 Modeling Executable Specifications with X-Spec and Water
|
|
Mike
Plusch, Christopher Fry, Ken Haase, and Tom Farrell, Clear Methods, Inc. |
|
6.
1154 Water OWL: Semantic Typing for Transparent Programs |
|
Ken
Haase, Clear Methods, Inc. |
15:00 – 17:00
Multiresolutional
Organizations for Learning
Chair: Qiuming Zhu
|
1.
1143 Backup and Recovery Scheme for Multi-Agent-based e-Learning System |
|
Takao Kawamura, Syungo Kinoshita, Shinichi Motomura, and Kazunori
Sugahara, Tottori University |
|
2.
1145 Multi-Agent-based Approach for Meeting Scheduling System |
|
Takao Kawamura, Yusuke Hamada, Kengo Kagemoto, Shinichi Motomura, and
Kazunori Sugahara, Tottori University |
|
3.
1091 Design and Implementation of an Open Source Location Service System
for the Aglets Mobile Agent System |
|
Yi-Hsung
Li, Chyi-Ren Dow, Kuo-Hua Chang, and Kuang-Ho Chen, Feng Chia University |
|
4.
1111 Hybrid-Agents in an Economic Model |
|
Ana
Marostica and Daniel Heymann, University of Buenos Aires, Argentina |
|
5.
1123 A Hybrid Cellular Inference Network for Multi-Agent System
Organization |
|
Qiuming Zhu and Eric R. Lindahl, 21st Century Systems, Inc. |
|
6.
1105 A Framework for Multiresolutional Knowledge Dissemination and
Collection in Large Dynamic Multi-Agent Societies |
|
Edward Benson, Jeffrey Berliner, and Marshall Brinn, BBN Technologies |
15:00 – 17:00
Biologically Inspired
Evolving and Self-Organizing Webs
Chair: Vladimir G.
Red’ko
|
1.
1110 Biologically Inspired Multi-Modular Architecture of Adaptive Agent
Control Systems |
|
Vladimir G. Red’ko, Alexander I. Manolov, and Oleg P. Mosalov, Russian
Academy of Sciences |
|
2.
1120 Cooperative Symbiotic Networking Exploring for Adaptive Data
Centers |
|
Paskorn Champrasert, Chonho Lee and Junichi Suzuki , University of
Massachusetts |
|
3.
1130 Using a Multi-Agent Evidential Reasoning Network as the Objective
Function for an Evolutionary Algorithm |
|
Christopher M. Gore, 21st Century Systems, Inc. |
|
4.
1118 Symbiosis: Using Predator-Prey Games as a Test Bed for Studying
Competitive Co-evolution |
|
Fani
A. Tzima, Andreas L. Symeonidis and Pericles A. Mitkas, Aristotle
University of Thessaloniki, Greece |
|
5.
1092 A Ubiquitous Teaching Assistant Using Knowledge Retrieval and
Adaptive Learning Techniques |
|
Kuang-Ho Chen, Chyi-Ren Dow, Yan-Ying Chen, and Yi-Hsung Li, Feng Chia
University |
|
6.
1100 Metadata (Ontology) Incremental Building/Refinement Agents
|
|
William L. Sousan, Wei Chen, Matt Payne, and Qiuming Zhu, University Of
Nebraska |
18:00 – 22:30 Free Tourist Shuttle to Boston
Wednesday, May 2, 2007
7:30 – 16:00 Registration
7:30 – 8:30 Speakers’ Breakfast
8:30 – 9:30 Distinguished Plenary Session
Chair: Leonid
Perlovsky
Distinguished Plenary Lecture:
TBD
Evangelia Micheli-Tzanakou, Rutgers University
9:30 – 9:50 Coffee and Networking Break
9:50 – 11:50
Special Session: Linguistic Dynamic Logic
Agents
Organizer and Chair: Vadim Tikhanov
|
1.
1129 Modeling Emotion and Embodiment in Multi-agent Systems |
|
Eduardo Coutinho and Angelo Cangelosi,
University of Plymouth |
|
2.
1148 Generalisation towards Combinatorial Complexity in Language
Acquisition by Simple Recurrent Networks |
|
Francis C. K. WONG, James W. MINETT, and William S-Y WANG, The Chinese
University of Hong Kong |
|
3.
1126 A Layered Emergence of Symbols |
|
Anastasios-Antonios Toulkeridis, and Vassilios Petridis, Aristotle
University of Thessaloniki |
|
4.
1093 How Communication Can Improve Differentiation in the Modeling Field
Theory Framework |
|
José F. Fontanari, Universidade de São Paulo, Brazil |
|
5.
1112 A Modeling Field Theory Approach to Pursuit Games |
|
José F. Fontanari, Universidade de São Paulo, Brazil;
Leonid I. Perlovsky, Air Force Research Lab |
|
6. 1109 Scaling Up of Action Repertoire in Linguistic
Cognitive Agents |
|
Vadim Tikhanoff, Angelo Cangelosi, José F. Fontanari
and Leonid I. Perlovsky |
9:50 – 11:50
Fusion and Interpretation
Chair: Plamen Petrov
|
1.
1133 Multi-Agent Fault Diagnosis in Manufacturing Systems Using Soft
Computing |
|
Terrence P. Fries, Coastal Carolina University |
|
2.
1146 Integrated Network Attack Fusion System: Multi-Agent Approach to
Network Sensor Data Acquisition and Fusion |
|
Paul
Gonsalves, Stephen Ho, Catherine Call, and David Lapsley, Charles River
Analytics |
|
3.
1117 Towards a Generic Methodology for Evaluating MAS Performance |
|
Christos Dimou, Andreas L. Symeonidis, and Pericles A. Mitkas, Aristotle
University of Thessaloniki |
|
4.
1122 Statistical Fusion of Unmanned Aerial Vehicle Observations for
Aided Target Recognition -> Fusin or unmanned vehicle |
|
Michael Simon, Stephen O’Hara, and Dr. Plamen Petrov, 21st Century
Systems, Inc. |
|
5.
1094 Reflective Information Management in the Dissemination of Health
Care Practices |
|
Jari
Yli-Hietanen and Samuli Niiranen, Tampere University of Technology |
11:50 – 13:20 Lunch (On Your Own)
13:20 – 14:20 Distinguished Plenary Session
Chair: Vadim
Stefanuk
Distinguished Plenary Lecture
Seek Simplicity and Distrust It: Knowledge
Maximization versus Effort Minimization
Dan Levine, Texas University, Arlington
14:20 – 15:00 Coffee and Networking Break
15:00 – 17:00
Special Session: Cognitive MAS Architectures
Organizer and Chair: Henry Hexmoor
|
1. Synergistic Integration of Agent
Technologies for Military Simulation |
|
Paul Scerri, Sean Owens, Robin Glinton, and
Katia Sycara |
|
2.
Emergent Power Delineation in Multi-Agent Swarms |
|
Brian McLaughlan and Henry Hexmoor |
|
3.
An Api-calculus Based Formal Methodology for Modeling MAS |
|
Ahmad Raheel and Shahram Rahimi |
|
4. 1132 A Multi-Agent, Multi-Tiered Approach to
Information Fusion |
|
Joe Barker, andGil Vincent, 21st Century
Systems, Inc |
|
5. 1108 Autonomous and Adaptive Network
Services with Biologically-inspired Evolvable Agents |
|
Chonho Lee, Paskorn Champrasert and Junichi
Suzuki, University of Massachusetts |
|
6. 1121 An Agent-Based Approach f or
Decluttering Net-centric Command-and-Control Displays to Improve
Situational Awareness |
|
Stephen O’Hara, Nathan Dwyer, and Plamen Petrov,
21st Century Systems, Inc. |
15:00 – 17:00
Semiotics, Language, and Meanings
Chair: Ricardo Ribeiro Gudwin
|
1.
1097 Talk between Two Agents by Semantics Knowledge base |
|
Shigeki Sugiyama, University of Gifu |
|
2.
1140 Towards Machine Understanding: Some Considerations Regarding
Mathematical |
|
Ricardo Ribeiro Gudwin and João Queiroz, DCA- FEEC –
UNICAMP |
|
3.
1125 Parameterizing Menu Based Natural Language Interfaces with Location
Models |
|
Kyle
Neumeier and Craig Thompson, University of Arkansas |
|
4.
1159 A Particular Idea of Evolution: A Peircean Interpretation of a
Hybrid-Agent Organization Model |
|
Ana
Marostica, Cesar Briano, and Ernesto Chinkes, University of Buenos
Aires, Argentina |
|
5.
1127 A Language for Describing the Events in Video Streams-An Initial
Exploration into the Image Semantics |
|
Stephen O’Hara and Qiuming Zhu, University of Nebraska at Omaha |
|
6.
1141 Brainmerge: A Semiotic-oriented Software Development Process for
Intelligence Augmentation Systems |
|
André Luis Ogando Paraense, Ricardo Ribeiro Gudwin, and Rodrigo de
Almeida Gonçalves, DCA-FEEC-UNICAMP, Brazil |
19:00 Banquet
Banquet Speaker: Dr. Evangelia Micheli-Tzanakou
Thursday, May 3, 2007
7:30 – 13:00 Registration
7:30 – 8:30 Speakers’ Breakfast
8:30 – 9:30 Distinguished Plenary Session
Chair: Fernando Fontanari
Distinguished
Plenary Lecture:
Toward Human-Level
Machine Intelligence
Lofti Zadeh, California
University, Berkeley
9:30 – 9:50 Coffee and Networking Break
9:50 – 11:50
Special Session: Multi-bodied Systems
Organizer and Chair: Henry Hexmoor
|
1. A
MAS Approach for Particle Swarm Optimization |
|
Ahmad Raheel and Shahram Rahimi |
|
2.
Robot Navigation in a 3D World Mediated by Sensor Networks |
|
D.
V. Karthikeya Viswanath K. Madhava Krishna, Henry Hexmoor,
Sartaj Singh |
|
3. Cooperative Navigation Function based
Navigation of |
|
Multiple Mobile Robots |
|
Satish Pedduri, K. Madhava, Krishna, Henry
Hexmoor |
|
4. Feature Chain Based Occupancy Grid SLAM for
Robots Equipped |
|
with Sonar Sensors |
|
A. Pandey, K. Madhava Krishna, Henry Hexmoor |
|
5.
Probability Based Optimal Algorithms for Multi-sensor Multi-target
Detection |
|
T.
R. Rahul, M. Krishna, Henry Hexmoor |
|
6.
1099 A Swarm Intelligence Based Coordination Algorithm for Distributed
Multi-Agent Systems |
|
Yan
Meng, Olorundamilola Kazeem, Stevens Institute of Technology |
9:50 – 11:50
Semantic Models, Image Analysis, and
Interpretation
Chair: Nan Jiang
|
1.
1128 Agent Based Visualization & Characterization Tool for Automated
Display Adaptation |
|
Robert S. Woodley, 21st Century Systems, Inc. |
|
2.
1150 Region-of -Interest Detection and its Application to Image
Segmentation and Compression |
|
Huibao Lin, Jennie Si, and Glen P. Abousleman, Arizona State University |
|
3.
1147 A Denoise Method Based on Multi-Frame Image Registration |
|
Nan
Jiang, Jennie Si, and Glen Abousleman, Arizona State University |
|
4.
1119 Optimized Neuro-Fuzzy Multivariable PID Controller Based on IMC
Using Genetic Algorithm |
|
Nasser Sadati, Shervin Kermanshachi, and Majid Hajatipour, Full
Professor of Sharif university, Tehran, Iran |
|
5.
1088 Multidimensional Analysis of the Lambdoma Key board Experiments |
|
Barbara Ferrell Hero, International Lambdoma Research Institute |
11:50 – 13:20 Lunch (On Your Own)
13:20 – 14:20 Distinguished Plenary Session
Chair: Vladimir Gorodetsky
Distinguished
Plenary Lecture:
Man on the Loop
Henry Hexmoor, Southern
Illinois University
14:20 – 15:00 Coffee and Networking Break
15:00 – 17:00
6. Special Session: Security and Information
Assurance
Organizer and Chair: Henry Hexmoor
|
1.
Delegation Protocols Founded on Trust |
|
Rachil Chandran, Henry Hexmoor |
|
2. A Web of Trust Oriented Information Flow
Network |
|
Yi Hu and Brajendra Panda |
|
3.
Trust in MAS (title forthcoming) |
|
Svisatoslav Brainov |
|
4. 1113 Multi-Agent Airspace Deconfliction in
Homeland Security Scenario |
|
Vladimir Gorodetsky, Oleg Karsaev, etc., St.
Petersburg Institute for Informatics and Automation |
|
5. 1135 Galton-Watson Analysis of Multi-agent
Situational Awareness Dialogues |
|
Qiuming Zhu, Eric R. Lindahl, University of
Nebraska at Omaha |
|
6. 1096 Semantics-Based Web Data Filtering
Agents |
|
William L. Sousan, Wei Chen, Matt Payne,
Qiuming Zhu, University Of Nebraska |
15:00 – 17:00
Intentional Agents
Chair: Boris Kovalerchuk
|
1.
1137 Deceptive Adversarial Planning |
|
Sviatoslav Braynov, University of Illinois at Springfield |
|
2.
1139 Logic of Uncertainty and Irrational Agents |
|
Boris Kovalerchuk, Central Washington University; Germano Resconi,
Catholic University, Italy |
|
3.
1114 Construction of Knowledge from Information by Intentional Robots |
|
Walter J Freeman, University of California at Berkeley CA |
|
4.
1151 Workflow Classes Descriptions Synthesis Based on Intelligent Data
Analyses |
|
G.S.
Osipov, Institute for Systems Analysis of Russian Academy of Sciences |
|
5.
1102 Using Data Validation to Interpret Hypotheses |
|
Stephen Graham and Daniel Hunter, BAE SYSTEMS |
|
6.
1101 Distributed Knowledge Sharing Based on Ontology Learning |
|
Behrouz H. Far, Mohsen Afsharchi, and Cheng Zhong, University of Calgary |
|